Helmut Veith Memorial Workshop

Turracher Höhe, Austria | March 17 - 20, 2019

Register

About HVW 2019

Workshop
Workshop

A workshop for logicians in computer science, held in memory of Helmut Veith, with an emphasis on the combination of research and social activities. In 2014, Helmut contacted Georg (Moser) with the following idea.

The Idea
The Idea

Folgende Idee (heute am Lift): Vielleicht sollte man eine Tradition eines Logik-in-CS Workshops in Österreich einführen, so nach dem Prinzip am Vormittag arbeiten, am Nachmittag auf der Piste (oder im Bad). Wenn man das zu einem Randtermin macht (März), kann man wahrscheinlich ein gutes Hotel zu einem vernünftigen Preis bekommen, oder es gibt ein Schullandheim etc.

Research and Social Activities
Research and Social Activities

This workshop, now in its third edition, aims to bring this idea to life. It will be held from Monday, March 18, to Wednesday, March 20, 2019, at the Schlosshotel Seewirt, Turracher Höhe, Austria, with arrival on Sunday, March 17, and includes three nights accommodation.

12
attendees

from everywhere

8
hours

of talks

42
km

of slopes for skiing

Latest News

Website of HVW 2020 is Online!

The website for the 2020 edition of the Helmut Veith Workshop, now the Austrian Workshop on Logic in Computer Science, is now online. Please find it here. We look forward to seeing you at the workshop in 2020. continue reading

Workshop Program Online!

The workshop program has now been fixed, and is available here! There will be a number of interesting talks during the workshop program, and our invited speaker, Lutz Schröder, will give a Tutorial on coalgebraic logic. We look forward to seeing ... continue reading

Location

Turracher Höhe

42km of groomed slopes

14 lifts to take you up the mountain

Austria's biggest funpark - if you dare

Venue

  • Schlosshotel Seewirt
  • Turracher Höhe 33, 8864 Turracher Höhe
  • hvw2019@maskr.me
  • -

Sponsors

General sponsors

Registration

Non-Skiing

480 EUR

  • Three nights at Schlosshotel Seewirt
  • Participation in workshop
  • No skiing tickets
Register

Guest

N/A EUR

  • Staying together with full participant
  • Not a workshop participant
  • Price and details by individual arrangement
Register